TSTP Solution File: ALG286^5 by DCTP---1.31